課程大綱：

1. Introduction

History, VLSI design flow, etc.

2. Basics of Computation Theory and Mathematical Optimization

3. Models of computation

Finite state machine, finite automata, Kahn process network, Petri net, neural network, etc.

4. High-level synthesis

Design space exploration, resource sharing, etc.

5. Logic synthesis

Technology independent optimization, technology mapping, technology dependent optimization, timing and power analysis, etc.

6. Verification

Combinational and sequential equivalence checking, property checking, etc.

7. Physical design

Floorplanning, placement, routing, etc.

8. Testing

Combinational and sequential ATPG, design for test, etc.

9. Advanced topics

Neural network synthesis, quantum circuit synthesis and simulation, etc.